|
H
halting problem, 48, 162
Harrison, 18, 48, 489
hash, 14, 91, 92, 93, 463
hash table, 14, 91, 92
Haskell, 12, 18, 54, 71, 73, 125, 204,
214, 215, 312, 496
help function, 39
Henson, 47, 490
Hett, 139, 140, 212
Hewitt, 141, 490
Hickey, 13
higher-order, 9, 70, 74, 75, 76, 79, 80, 124,
130, 131, 144, 195, 209, 276, 292, 313,
361, 460
higher-order programming, 9, 195
Hilbert proof, 269, 271
Hindley, 156, 170, 490
Hodges, 18, 230, 491
home directory, 30, 31, 460
Horn clause, 214, 225, 226, 346, 347, 349,
350, 352, 353, 355, 360, 363, 364,
367, 383
Horn clause procedure, 360
Hughes, 1, 80, 491
hypotheses, 216, 220, 235, 240, 247, 251,
375, 377, 378, 379,
380, 451, 453, 456, 457
|
|
